8

Algebra and logic for access control

Year:
2010
Language:
english
File:
PDF, 551 KB
english, 2010
9

Erratum to: Algebra and logic for access control

Year:
2010
Language:
english
File:
PDF, 61 KB
english, 2010
10

Bunching for Regions and Locations

Year:
2006
Language:
english
File:
PDF, 333 KB
english, 2006
21

Bunched polymorphism

Year:
2008
Language:
english
File:
PDF, 464 KB
english, 2008
22

Algebra and logic for resource-based systems modelling

Year:
2009
Language:
english
File:
PDF, 640 KB
english, 2009
37

A logic of hypothetical conjunction

Year:
2019
File:
PDF, 580 KB
2019